highor-order logic
[计] 高阶逻辑
热门查询
- lacey adj. 花边的
- undercount vt. 少计；少算
- evanescence n. 逐渐消失；瞬息；幻灭
- high water n. （海、河的）高潮；高水位 [网络] 满潮；满潮或高潮；汛
- seminar n. 讨论会，研讨班
- purpura n. [内科] 紫癜 n. (Purpura)人名；(意)普尔普拉
- Shoreditch 肖迪奇（地名, 英国伦敦的一个地区）
- coeur [医] 心脏心
- founded v. 建立（found的过去分词）；创立 adj. 有基础的
- fortified n. 强化酒（葡萄酒与白兰地或其他烈酒勾兑的混合酒，如Port酒） v. 筑防御工事于…（fortify的过去式） adj. 加强的
- ADIOS int. （西）再见
- Brendan [男子名] 布伦丹来源于爱尔兰语，含义是不详
- helioseismology n. 日震学
- back n. 后面；背部；靠背；足球等的后卫；书报等的末尾 adj. 后面的；过去的；拖欠的 vt. 支持；后退；背书；下赌注 adv. 以前；向后地；来回地；上溯；回来；回原处 vi. 后退；背靠；倒退 n. (Back)人名；(西、英、德、法、瑞典、捷)巴克
- specimen n. 样品，样本；标本
- manageability n. 易处理；易办；顺从
- omaha n. 奥马哈；奥马哈市（美国内布拉斯加州）；美国奥马哈族印第安人
- pleurisy n. [内科] 胸膜炎；[内科] 肋膜炎
- bountiful adj. 丰富的；慷慨的；宽大的
- undue adj. 过度的，过分的；不适当的；未到期的
